A full continuous model of polymorphism
نویسندگان
چکیده
We introduce a model of the second-order lambda calculus. Such a model is a Scott domain whose elements are themselves Scott domains, and in it polymorphic maps are interpreted by generic continous maps.
منابع مشابه
Physical Modeling of Steel Delivery during Thin Slab Continuous Casting
A full scale physical model of a thin slab caster with a four-hole design submerged entry nozzle (SEN) was constructed. On the basis of the dimensionless Reynolds and Froude similitude criteria, the fluid flow in a full-scale model is similar to that of the actual system and, hence, the data obtained from the water model can be applied to the actual system. In order to determine the optimum ope...
متن کاملارزیابی تاثیر مدل مراقبت پیگیر بر درمان بیماریهای مزمن
Introduction: Continuous Care Model has been designed and evaluated in relation to patients with chronic coronary artery disease by Ahmadi in 2001. This model consists of four stages of integration: orientation, sensitization, control, and evaluation. This review article aimed to introduce a continuous care model, approaches and perspective model, and explain the results of the articles which u...
متن کاملA Review the Role of Midwife-led Care Model in Managing the Costs of Healthy Reproductive Services
Objective: For improving the quality of reproductive health services and providing appropriate health care to mothers to reduce their mortality and morbidity, it requires to apply the effective cost models used in the world. In this regard, the aim of the current study is to critically review the related literature on cost management of healthy reproductive services with the continuous midwifer...
متن کاملA multiobjective continuous covering location model
This paper presents a multiobjective continuous covering location problem in fuzzy environment. Because of uncertain covering radius, possibility of covering concept is introduced.Since, the uncertainty may cause risk of uncovering customers; the problemis formulated as a risk management model. The presented model is an extension of the discrete covering location models tocontinuous space. Two ...
متن کاملA Continuous Optimization Model for Partial Digest Problem
The pupose of this paper is modeling of Partial Digest Problem (PDP) as a mathematical programming problem. In this paper we present a new viewpoint of PDP. We formulate the PDP as a continuous optimization problem and develope a method to solve this problem. Finally we constract a linear programming model for the problem with an additional constraint. This later model can be solved by the simp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 290 شماره
صفحات -
تاریخ انتشار 2003